perm filename TRIP.PL[TUG,DEK] blob sn#743938 filedate 1984-02-28 generic text, type T, neo UTF8
(FAMILY UNSPECIFIED)
(FACE F MRR)
(CODINGSCHEME TEX TEST: NOT A REAL FONT)
(DESIGNSIZE R 10.0)
(COMMENT DESIGNSIZE IS IN POINTS)
(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE)
(CHECKSUM O 32107654321)
(FONTDIMEN
   (SLANT R -2.0)
   (SPACE R 0.400001)
   (STRETCH R 0.200001)
   (SHRINK R 0.1)
   (XHEIGHT R 0.45)
   (QUAD R 1.0)
   (EXTRASPACE R 0.200001)
   (PARAMETER D 8 R 0.05)
   (PARAMETER D 9 R 0.1)
   (PARAMETER D 10 R 0.200001)
   (PARAMETER D 11 R 0.3)
   (PARAMETER D 12 R 0.400001)
   (PARAMETER D 13 R 0.5)
   )
(LIGTABLE
   (LABEL O 55)
   (LIG O 0 O 55)
   (LABEL O 57)
   (KRN C A R 0.1)
   (STOP)
   (LABEL C A)
   (LIG C A C A)
   (KRN C B R 0.200001)
   (KRN O 55 R 0.3)
   (STOP)
   (LABEL C B)
   (LIG C B C A)
   (LIG O 55 C C)
   (KRN C C R 0.400001)
   (STOP)
   (LABEL C C)
   (LIG C A O 202)
   (LIG O 57 C B)
   (STOP)
   )
(CHARACTER O 0
   (CHARWD R 0.700001)
   (CHARHT R -0.1)
   (CHARDP R 0.200001)
   )
(CHARACTER O 55
   (CHARWD R -0.5)
   (COMMENT
      (LIG O 0 O 55)
      (KRN C A R 0.1)
      )
   )
(CHARACTER O 57
   (CHARWD R 0.1)
   (COMMENT
      (KRN C A R 0.1)
      )
   )
(CHARACTER C A
   (CHARWD R 0.200001)
   (CHARHT R 0.700001)
   (CHARDP R 0.1)
   (CHARIC R 0.1)
   (COMMENT
      (LIG C A C A)
      (KRN C B R 0.200001)
      (KRN O 55 R 0.3)
      )
   )
(CHARACTER C B
   (CHARWD R 0.3)
   (CHARHT R 0.8)
   (CHARDP R 0.200001)
   (COMMENT
      (LIG C B C A)
      (LIG O 55 C C)
      (KRN C C R 0.400001)
      )
   )
(CHARACTER C C
   (CHARWD R 0.400001)
   (COMMENT
      (LIG C A O 202)
      (LIG O 57 C B)
      )
   )
(CHARACTER C M
   (CHARWD R 0.6)
   (CHARIC R 0.200001)
   (VARCHAR
      (MID C A)
      (BOT C B)
      (REP O 0)
      )
   )
(CHARACTER C a
   (CHARWD R 0.200001)
   (CHARHT R 0.700001)
   (CHARDP R 0.1)
   (CHARIC R 0.1)
   (NEXTLARGER O 202)
   )
(CHARACTER C b
   (CHARWD R 0.3)
   (CHARHT R 0.8)
   (CHARDP R 0.200001)
   (NEXTLARGER C M)
   )
(CHARACTER O 202
   (CHARWD R 0.400001)
   )